Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
951	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
952	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
953	Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2007-10-01 14:24:18 Programming language implementation Compiler construction Transformation languages Stratego/XT ASF+SDF Meta Environment Compiler Program transformation Type system Stratego Computing Software engineering Programming language theory
954	Intermittent and episode-driven use of pranlukast to reduce the frequency of wheezing in atopic children: a randomized, double-blind, placebo-controlled trial Add to Reading List Source URL: www.waojournal.org Language: English Immune system Immunology Type 1 hypersensitivity Allergology Asthma Allergen Food allergy Atopic dermatitis Atopy Medicine Health Biology
955	FL Series Frame Less Compressed Air Foam Systems A simple, lightweight easy to use C.A.F. System. Provides”) or 2 (1”) lines, that are factory set to deliver ONE type of Compressed Air Foam (Dry, Wet or Add to Reading List Source URL: www.frfanz.org.nz Language: English - Date: 2012-04-16 03:12:09 Foams Compressed air foam system Fire fighting foam Pump Fire suppression Firefighting Active fire protection Wildland fire suppression
956	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugustDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-08-02 13:59:39 Embedded Linux Smartphones Information flow Information theory Android Apache Ant Type system Java Static single assignment form Software Computing Cross-platform software
957	"Wetlands: water, life, and culture" 8th Meeting of the Conference of the Contracting Parties to the Convention on Wetlands (Ramsar, Iran, 1971) Valencia, Spain, 18-26 NovemberResolution VIII.11 Add to Reading List Source URL: ramsar.rgis.ch Language: English - Date: 2009-06-26 07:49:27 Ecology Wetland Peat Ramsar Classification System for Wetland Type Mangrove Ramsar Convention Wetland conservation Wetlands International Aquatic ecology Water Environment
958	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
959	FEBRUARYPORT AUTHORITY WELCOMES THE RUBY PRINCESS A vendor demonstrates the souvenir steel pan Add to Reading List Source URL: www.patnt.com Language: English - Date: 2015-02-26 07:08:18 Endocrine system Nutrition Diabetes mellitus type 2 Diabetes mellitus Metabolic syndrome Weight loss Insulin Lifestyle diseases Hyperglycemia Health Medicine Diabetes
960	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics

UPDATE